Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
241	On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Automated theorem proving Logic in computer science Propositional calculus Unsatisfiable core Boolean algebra Resolution Exponential time hypothesis Algorithm Maximum satisfiability problem Boolean satisfiability problem DavisPutnam algorithm
242	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
243	Research Seminar series http://www.cargo.wlu.ca Add to Reading List Source URL: www.cargo.wlu.ca Language: English - Date: 2010-05-10 06:55:33 Computer algebra Matrix theory Algebraic geometry Commutative algebra Grbner basis Invariant theory Zeilberger Weighing matrix Walrath
244	EMERGENCE OF INTELLIGENT MACHINES: CHALLENGES AND OPPORTUNITIES Non-Human Intelligence Bart Selman Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-06-03 18:01:36 Boolean algebra Logic in computer science Boolean satisfiability problem Electronic design automation SAT Human intelligence
245	cs281: Introduction to Computer Systems Lab02 – Basic Combinational Circuits: The Mux and the Adder Overview The objective of this lab is to understand two basic combinational circuits — the multiplexor and the adde Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 Logic gates Boolean algebra Digital circuits Logic in computer science Algebraic logic Multiplexer Adder Combinational logic Truth table Arduino Breadboard OR gate
246	Bit-size estimates for triangular sets in positive dimension Xavier Dahan Faculty of Mathematics, Kyˆ ushˆ u University Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2010-08-24 12:46:44 Polynomials Algebraic geometry Algebra Field theory Computer algebra Factorization Rational function Field extension Valuation KazhdanLusztig polynomial Motive
247	On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Formal methods Craig interpolation Boolean satisfiability problem Unit propagation Resolution Interpolation Propositional calculus Satisfiability modulo theories
248	Conjunctive Partial Deduction in Practice Jesper Jrgensen? Michael Leuschel?? Bern Martens??? K.U. Leuven, Department of Computer Science Celestijnenlaan 200A, B-3001 Heverlee, Belgium e-mail: fjesper,michael,berng@cs.k Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Automated theorem proving Rules of inference Singularity theory Unfolding Prolog Conjunction Resolution Boolean algebra
249	Applied General Equilibrium Modeling with MPSGE as a GAMS Subsystem: An Overview of the Modeling Framework and Syntax∗ Thomas F. Rutherford Department of Economics Add to Reading List Source URL: www.mpsge.org Language: English - Date: 2005-07-12 01:00:00 Computer algebra systems National accounts Computable general equilibrium Economic model Gempack General equilibrium theory Social accounting matrix Supply and demand Economics Applied general equilibrium Profit Draft:Extended mathematical programming
250	Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Working Group Add to Reading List Source URL: cadgme.ms.sapientia.ro Language: English - Date: 2016-04-22 07:19:59 Educational psychology Geometry Mathematics Educational technology

UPDATE